Towards a Design Assistant for Distributed Embedded Systems
نویسندگان
چکیده
This paper presents an overview of a distributed embedded system design assistant called Systems Engineers Workbench (SEW 2.0). SEW 2.0 uses a suite of design frameworks, with supporting representations, to structure the inherent complexity. A set of design assist operatives further improves the ability of the designer to explore the domain space while evaluating performance/resource tradeoffs.
منابع مشابه
A Survey of Operating Systems Infrastructure for Embedded Systems
Since early applications in the 1960s, embedded systems have come down in price and there has been a dramatic rise in processing power and functionality. In addition, embedded systems are becoming increasingly complex. High-end devices, such as mobile phones, PDAs, entertainment devices, and set-top boxes, feature millions of lines of code with varying degrees of assurance of correctness. Nowad...
متن کاملTimed Automata Templates for Distributed Embedded System Architectures
Networks of timed automata can be used to specify and verify distributed embedded systems. This technical report provides timed automata templates for a few basic components of such systems as a first step towards a library of reusable components which shall facilitate the design and analysis of large distributed embedded systems. In particular timed automata templates for common input event st...
متن کاملTowards an embedded language tutoring system for children
Computer-aided language learning (CALL) applications for adult learners are well-established. Tutoring applications for children require special didactic and ergonomic concepts. Except for low functionality (toy-like) products for children and PDA-based solutions, embedded systems seem to be not present in the market yet. The authors currently adapt baseline tutoring technology for adult learne...
متن کاملX32V: A Design of Configurable Processor Core for Embedded Systems
This paper introduces the X32V configurable processor core. X32V is geared towards low-power, lowmemory embedded systems, such as cell phones, PDAs, and digital cameras. X32V uses a feature that allows for variable length instructions that ultimately decrease the amount of program memory required for applications. In addition, X32V supports additional modules that increase flexibility. Currentl...
متن کاملTowards Design Verification and Validation at Multiple Levels of Abstraction
The specification of software for distributed production control systems is an error prone task. The ISILEIT project aims at the development of a seamless methodology for the integrated design, analysis and validation of such embedded systems. Suitable subsets of UML and SDL for the design of such systems are therefore identified in a first step. The paper then focuses on how we use a series of...
متن کامل